Michel Parigot: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Recursive programming with proofs

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.24 MB

english, 1992

2

Proofs of strong normalisation for second order classical natural deduction

Parigot, Michel

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

3

LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

french

File:

PDF, 957 KB

french, 1983

4

A logical approach of Petri net languages

Michel Parigot, Elisabeth Pelz

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 775 KB

english, 1985

5

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing

Gundersen, Tom, Heijltjes, Willem, Parigot, Michel

Year:

2013

Language:

english

File:

PDF, 367 KB

english, 2013

6

[Lecture Notes in Artificial Intelligence] Logic for Programming and Automated Reasoning Volume 1955 || Compiling and Verifying Security Protocols

Parigot, Michel, Voronkov, Andrei

Year:

2000

Language:

english

File:

PDF, 390 KB

english, 2000

7

[Lecture Notes in Artificial Intelligence] Logic for Programming and Automated Reasoning Volume 1955 || Church’s Lambda Delta Calculus

Parigot, Michel, Voronkov, Andrei

Year:

2000

Language:

english

File:

PDF, 139 KB

english, 2000

8

Théories d'arbres

Parigot, Michel

Journal:

Journal of Symbolic Logic

Year:

1982

File:

PDF, 873 KB

1982